# -*- mode: snippet -*-
# name: Lemma statement in HOl4
# key: Lemma
# expand-env: ((yas-indent-line 'fixed))
# --
val $1 = store_thm (
  "$1",
  \`\`$2\`\`,
  $0
);